SHIMEALL, T.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An empirical evaluation of six methods to detect faults in software

Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

2

Intelligence Analysis for Internet Security

Williams, Phil, Shimeall, Timothy, Dunlevy, Casey

Journal:

Contemporary Security Policy

Year:

2002

Language:

english

File:

PDF, 166 KB

english, 2002

3

The use of self checks and voting in software error detection: an empirical study

Leveson, N.G., Cha, S.S., Knight, J.C., Shimeall, T.J.

Journal:

IEEE Transactions on Software Engineering

Year:

1990

Language:

english

File:

PDF, 1.27 MB

english, 1990

4

An empirical comparison of software fault tolerance and fault elimination

Shimeall, T.J., Leveson, N.G.

Journal:

IEEE Transactions on Software Engineering

Year:

1991

Language:

english

File:

PDF, 1.23 MB

english, 1991

5

Safety verification of Ada programs using software fault trees

Leveson, N.G., Cha, S.S., Shimeall, T.J.

Journal:

Year:

1991

Language:

english

File:

PDF, 1.53 MB

english, 1991

6

Software security in an Internet world: an executive summary

Shimeall, T.J., McDermott, J.J.

Journal:

Year:

1999

Language:

english

File:

PDF, 99 KB

english, 1999

7

[American Institute of Aeronautics and Astronautics 21st Aerospace Sciences Meeting - Reno,NV,U.S.A. (10 January 1983 - 13 January 1983)] 21st Aerospace Sciences Meeting - Design for safe software

LEVESON, N., SHIMEALL, T., STOLZY, J., THOMAS, J.

Year:

1983

Language:

english

File:

PDF, 320 KB

english, 1983

8

Tricyclic antidepressants and headaches: systematic review and meta-analysis

Jeffrey L Jackson, William Shimeall, Laura Sessums, Kent J DeZee, Dorothy Becher, Margretta Diemer, Elizabeth Berbano and Patrick G O'Malley

Journal:

Year:

2010

Language:

english

File:

PDF, 311 KB

english, 2010

9

[IEEE Comput. Soc. Press Proceedings. [1989] 11th International Conference on Software Engineering - Singapore (11-15 April 1988)] Proceedings. [1989] 11th International Conference on Software Engineering - Safety verification in MURPHY using fault tree analysis

Cha, S.S., Leveson, N.G., Shimeall, T.J.

Year:

1988

Language:

english

File:

PDF, 789 KB

english, 1988

10

[IEEE Annual Reliability and Maintainability Symposium (RAMS) - Anaheim, CA, USA (24-27 Jan. 1994)] Proceedings of Annual Reliability and Maintainability Symposium (RAMS) - Examination of a software-test cost model

Shimeall, T.J., Kelly, T.J.

Year:

1994

Language:

english

File:

PDF, 485 KB

english, 1994

11

Tricyclic antidepressants and headaches: systematic review and meta-analysis

Jackson, J. L., Shimeall, W., Sessums, L., DeZee, K. J., Becher, D., Diemer, M., Berbano, E., O'Malley, P. G.

Journal:

Year:

2010

Language:

english

File:

PDF, 193 KB

english, 2010

12

[IEEE Comput. Soc. Press [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis - Banff, Alta., Canada (19-21 July 1988)] [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis - An empirical comparison of software fault tolerance and fault elimination

Shimeall, T.J., Leveson, N.G.

Year:

1988

Language:

english

File:

PDF, 938 KB

english, 1988

13

Introduction to Information Security || Introduction

Shimeall, Timothy

Year:

2014

Language:

english

File:

PDF, 76 KB

english, 2014

14

Introduction to Information Security || Acknowledgments

Shimeall, Timothy

Year:

2014

Language:

english

File:

PDF, 50 KB

english, 2014

15

[IEEE Annual Reliability and Maintainability Symposium. 1991 - Orlando, FL, USA (29-31 Jan. 1991)] Annual Reliability and Maintainability Symposium. 1991 Proceedings - Software safety analysis in heterogeneous multiprocessor control systems

Shimeall, T.J., McGraw, R.J., Gill, J.A.

Year:

1991

Language:

english

File:

PDF, 562 KB

english, 1991

16

Treatment of Excessive Anticoagulation With Phytonadione (Vitamin K)

DeZee, Kent J., Shimeall, William T., Douglas, Kevin M., Shumway, Nathan M., O’Malley, Patrick G.

Journal:

Archives of Internal Medicine

Year:

2006

Language:

english

File:

PDF, 164 KB

english, 2006

17

[ACM Press the 7th ACM SIGCOMM conference - San Diego, California, USA (2007.10.24-2007.10.26)] Proceedings of the 7th ACM SIGCOMM conference on Internet measurement - IMC '07 - Using uncleanliness to predict future botnet addresses

Collins, M. Patrick, Shimeall, Timothy J., Faber, Sidney, Janies, Jeff, Weaver, Rhiannon, De Shon, Markus, Kadane, Joseph

Year:

2007

Language:

english

File:

PDF, 355 KB

english, 2007

18

[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Views on software testability (panel)

Shimeall, Timothy, Friedman, Michael, Chilenski, John, Voas, Jeffrey

Year:

1994

Language:

english

File:

PDF, 43 KB

english, 1994

19

no-fault auto insurance: the japanese experience

warren g. shimeall

Journal:

The Forum (Section of Insurance, Negligence and Compensation Law, American Bar Association)

Year:

1974

Language:

english

File:

PDF, 571 KB

english, 1974

20

SPIE Proceedings [SPIE AeroSense 2002 - Orlando, FL (Monday 1 April 2002)] Sensors, and Command, Control, Communications, and Intelligence (C3I) Technologies for Homeland Defense and Law Enforcement - Models of information security trend analysis

Shimeall, Timothy J., Williams, Phil, Carapezza, Edward M.

Year:

2002

Language:

english

File:

PDF, 604 KB

english, 2002

21

SPIE Proceedings [SPIE Enabling Technologies for Law Enforcement - Boston, MA (Monday 6 November 2000)] Enabling Technologies for Law Enforcement and Security - Intelligence analysis for internet security: ideas, barriers, and possibilities

Shimeall, Timothy J., Dunlevy, Casey J., Williams, Phil, Bramble, Simon K., Carapezza, Edward M., Rudin, Lenny I.

Year:

2001

Language:

english

File:

PDF, 113 KB

english, 2001

22

Effect of Financial Remuneration on Specialty Choice of Fourth-Year U.S. Medical Students

DeZee, Kent J., Maurer, Douglas, Colt, Ross, Shimeall, William, Mallory, Renee, Powers, John, Durning, Steven J.

Journal:

Academic Medicine

Year:

2011

Language:

english

File:

PDF, 434 KB

english, 2011

23

Achieving Balance on the Inpatient Internal Medicine Wards

Cohee, Brian M., Hartzell, Joshua D., Shimeall, William T.

Journal:

Academic Medicine

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

24

An Empirical Exploration of Five Software Fault Detection Methods 1

Shimeall, T.J., Leveson, N.G.

Journal:

IFAC Proceedings Volumes

Year:

1988

Language:

english

File:

PDF, 2.07 MB

english, 1988

25

Optimizing Order Entry Automaticity Reduces Inpatient Laboratory Utilization

Lane, Alison B., Robinson, Sara L., Maddy, Nora C.E., Shimeall, William T., Sadowski, Brett W.

Journal:

The American Journal of Medicine

Year:

2018

Language:

english

File:

PDF, 344 KB

english, 2018

26

Nighthawk: Making Night Float Education and Patient Safety Soar

Sadowski, Brett W., Medina, Hector A., Hartzell, Joshua D., Shimeall, William T.

Journal:

Journal of Graduate Medical Education

Year:

2017

Language:

english

File:

PDF, 198 KB

english, 2017

27

Merging Cultures and Curriculum: An Anonymous Survey of Army and Navy Physicians Before the New Walter Reed Bethesda Internal Medicine Residency Program

Kelly, William F., Cuneo, Brian M., Shimeall, William T.

Journal:

Military Medicine

Year:

2012

Language:

english

File:

PDF, 457 KB

english, 2012

28

Introduction to Information Security || Recognition Strategies

Shimeall, Timothy J.

Year:

2014

Language:

english

File:

PDF, 641 KB

english, 2014

29

Not Just Hocus POCUS: Implementation of a Point of Care Ultrasound Curriculum for Internal Medicine Trainees at a Large Residency Program

Mellor, Thomas E, Junga, Zachary, Ordway, Sarah, Hunter, Timothy, Shimeall, William T, Krajnik, Sarah, Tibbs, Lisa, Mikita, Jeffrey, Zeman, Joseph, Clark, Paul

Journal:

Military Medicine

Year:

2019

Language:

english

File:

PDF, 194 KB

english, 2019

30

Not Just Hocus POCUS: Implementation of a Point of Care Ultrasound Curriculum for Internal Medicine Trainees at a Large Residency Program

Mellor, Thomas E, Junga, Zachary, Ordway, Sarah, Hunter, Timothy, Shimeall, William T, Krajnik, Sarah, Tibbs, Lisa, Mikita, Jeffrey, Zeman, Joseph, Clark, Paul

Journal:

Military Medicine

Year:

2019

File:

PDF, 194 KB

2019

31

Introduction to Information Security || Motivation and Security Definitions

Shimeall, Timothy J.

Year:

2014

File:

PDF, 673 KB

2014

32

Introduction to Information Security || Network Analysis and Forensics

Shimeall, Timothy J.

Year:

2014

File:

PDF, 515 KB

2014

33

Introduction to Information Security || Recognition Strategies

Shimeall, Timothy J.

Year:

2014

File:

PDF, 383 KB

2014